/**
 * 当类型参数为联合类型，并且在`条件类型左边`直接引用该类型参数的时候
 * TS会把每一个元素单独传入来做类型运算，最后再合并成联合类型
 * 
 * 1.把联合类型的每一个元素单独传入类型计算
 * 2.最后合并
 */

type Union = "a" | "b" | "c";
type UnionR = `${Union}~~~`;




